More from this Author

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

by Roland C. Backhouse (Editor), Roy L. Crole (Editor), Jeremy Gibbons (Editor)